$x$ $f$ $y$ $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$f$($x$,$y$)